Ind- and pro- definable sets

Ind- and pro- definable sets

We describe the indand procategories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.

ar X iv : m at h / 06 08 16 3 v 1 [ m at h . L O ] 7 A ug 2 00 6 IND - AND PRO - DEFINABLE SETS

We describe the indand procategories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.

Definable Sets in Ordered Structures

This paper introduces and begins the study of a well-behaved class of linearly ordered structures, the ^-minimal structures. The definition of this class and the corresponding class of theories, the strongly ©-minimal theories, is made in analogy with the notions from stability theory of minimal structures and strongly minimal theories. Theorems 2.1 and 2.3, respectively, provide characterizati...

Definable Sets in Valued Fields

DEFINABLE SETS, MOTIVES AND p-ADIC INTEGRALS

0.1. Let X be a scheme, reduced and separated, of finite type over Z. For p a prime number, one may consider the set X(Zp) of its Zp-rational points. For every n in N, there is a natural map πn : X(Zp)→ X(Z/p) assigning to a Zp-rational point its class modulo p. The image Yn,p of X(Zp) by πn is exactly the set of Z/p-rational points which can be lifted to Zp-rational points. Denote by Nn,p the ...